More from this Author

Formal Approaches to Agent-Based Systems

by Michael G. Hinchey (Editor), Diana Gordon-Spears (Editor), James L. Rash (Editor), Christopher Rouff (Editor), Walter F. Truszkowski (Editor)

Industrial-Strength Formal Methods in Practice

by Michael G. Hinchey (Editor), Jonathan P. Bowen (Editor)

Formal Methods and Software Engineering

by Michael G. Hinchey (Editor), Maria M. Larrondo-Petrie (Editor), Michael Butler (Editor)